11

On the complexity of partial order trace model checking

Année:
2008
Langue:
english
Fichier:
PDF, 149 KB
english, 2008
12

The formal design of distributed controllers withdSL and Spin

Année:
2005
Langue:
english
Fichier:
PDF, 328 KB
english, 2005
14

Decentralized Control of Infinite Systems

Année:
2011
Langue:
english
Fichier:
PDF, 897 KB
english, 2011
17

Interface controlled plastic flow modelled by strain gradient plasticity theory

Année:
2012
Langue:
english
Fichier:
PDF, 1.13 MB
english, 2012
27

The complexity of synchronizing Markov decision processes

Année:
2018
Langue:
english
Fichier:
PDF, 2.01 MB
english, 2018